Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence : Laurence Rideau, “programming and algorithms", 50 hours, Lycée Masséna, Nice, France.

• Licence : Cyril Cohen, “paradigms of programming languages”, 12 hours, University of Nice, France.

• Master : Yves Bertot and Enrico Tassi, "software verification and computer proof", 21 hours, Université de Nice, France.

• Master : Laurent Théry, "introduction to Coq", 3 hours, Ecole des Mines de Paris, France.

Supervision

• PhD in progress : Boris Djalal, starting in October 2015, supervised by Yves Bertot and Cyril Cohen

Juries

Yves Bertot was examiner with written report duty for the thesis of Catherine Lelay (University of Paris-south) and examiner for the thesis of Robbert Krebbers (Radboud University Nijmegen).